Reusable Subsystems from an Overall System Specification
نویسنده
چکیده
Firstly, decomposition of multifunctional embedded systems into subsystems implies a long list of relevant criteria to be taken into consideration. Secondly, reuse of such subsystems is already done in practice but is often just performed for code or lacks a systematic approach. In this paper, we describe a method for defining and outlining subsystems from the overall system requirements and specification, then extracting a subsystem by tracing all its relevant artifacts, and finally we describe the steps for its reuse within a new surrounding system that is being developed.
منابع مشابه
An Internal Agent Architecture for Dynamic Composition of Reusable Agent Subsystems
The internal agent architectures that current MAS frameworks provide don’t enable the rapid implementation of agents from reusable components. This is because of the underlying problem that the agent-oriented programming paradigm, defining how abstraction, decomposition, and modularity are achieved, is not sufficiently understood or developed. This paper presents an agent decomposition framewor...
متن کاملAn Agent Architecture Composed from Reusable Subsystems: Decomposition Framework and High-Level Description
The internal agent architectures that current MAS frameworks provide don’t enable the rapid implementation of agents from reusable components. This is because of the underlying problem that the agent-oriented programming paradigm, defining how abstraction, decomposition, and modularity are achieved, is not sufficiently understood or developed. This paper presents an agent decomposition framewor...
متن کاملBridging the Gap Between COTS Product Reuse and Formal Methods: A Case Study
Reusable commercial off-the-shelf (COTS) products are routinely employed in development of software systems. However, no systematic techniques are available for specification or verification of critical aspects of such systems. This paper explains that the dependencies between a critical subsystem and a COTS product can be isolated through formally-stated mathematical and programmatic interface...
متن کاملDecoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications
We consider the problem of synthesizing controllers automatically for distributed robots that are loosely coupled using a formal synthesis approach. Formal synthesis entails construction of game strategies for a discrete transition system such that the system under the strategy satisfies a specification, given for instance in linear temporal logic (LTL). The general problem of automated synthes...
متن کاملReusing Object-Oriented Designs
Reusing the products of the software development process is an important way to reduce software costs and to make programmers and designers more e cient. Object-oriented programming permits the reuse of design as well as programs. This paper describes two techniques for reusing design and how these reusable designs are developed. Abstract classes are reusable designs for components, while frame...
متن کامل